#ifndef __DPLL_PTHREAD__
#define __DPLL_PTHREAD__

#include "solver.h"
#include "list.h"
#include "util.h"
#include "dplltask.h"
#define THREADNUM 2
typedef struct _dpll_pth_param{
    int threadID;
} pthread_param_t;



_bool dpll_satisfiable_pth(cnf*_cnf);
#endif